منابع مشابه
Trustworthy Advice
‘If you go to Ferran Adria’s restaurant you will have the time of your life!’ ‘If you study everyday for two hours you will get very good marks next semester.’ These are examples of advice. We say an advice has two components: a plan to perform and a goal to achieve. In dynamic logic, an advice could be formalised as: [Pη]G. That is, if η performs plan P, then goal G will necessarily be achieve...
متن کاملTrustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not themselves been mechanically proven, so any proof using and depending on these VCGs might have contained errors. In our work, we define and rigorously prove correct a VCG tool within the HOL theorem proving system, for a s...
متن کاملTowards Trustworthy Spatial Messaging
Spatial messaging is a term that defines the virtual publication of data in physical places. Generally, anyone in the neighborhood of such a publication point gets the message. Frameworks allowing the users to publish freely spatial messages already exist. However, the experiences realized with volunteers showed that there is only little interest in posting such notes. To our view, the main rea...
متن کاملTrustworthy Preservation Planning
Die Aufgabe der digitalen Langzeitarchivierung ist es, die Risiken abzuwehren, die die Vielzahl existierender digitaler Materalien auf den Ebenen der Datenströme, der Logik und der Semantik bedrohen und die langfristige Verfügbarkeit und Verständlichkeit dieser Materialien in Frage stellen. Die Aufgabe der vertrauenswürdigen Planung besteht dabei darin, authentischen Zugriff für die Zukunft sic...
متن کاملTrustworthy services through attestation
Remote attestation is a promising mechanism for assurance of distributed systems. It allows users to identify the software running on a remote system before trusting it with an important task. This functionality is arriving at exactly the right time as security-critical systems, such as healthcare and financial services, are increasingly being hosted online. However, attestation has limitations...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Spatial Information Science
سال: 2020
ISSN: 1948-660X
DOI: 10.5311/josis.2020.20.654